Invited Talk: The Sufficiently Smart Compiler can Prove Theorems! Joachim Breitner University of Pennsylvania Philadelphia, Pennsylvania, USA

Source URL: www.cs.ox.ac.uk

• Computer programming
• Software engineering
• Declarative programming
• Functional programming
• Functional languages
• Monad
• Haskell
• Proof assistant
• Mathematical proof

Privacy and Mechanism Design MALLESH M. PAI Department of Economics, University of Pennsylvania AARON ROTH Computer and Information Sciences, University of Pennsylvania June 6, 2013

Source URL: www.cis.upenn.edu

Irene Matteini University of Pennsylvania An assessment and evaluation on the effects of acidic cleaning methods on unglazed terra cotta using accelerated weathering test protocols

Source URL: resources.conservation-us.org

On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ

Source URL: www.andrew.cmu.edu

Last updated 23 - MarCurriculum Vitae Gerard Philippe Cachon 543 Jon M. Huntsman Hall The Wharton School University of Pennsylvania

Source URL: faculty.wharton.upenn.edu

Signaling vulnerabilities in wiretapping systems∗ Micah Sherr†, Eric Cronin, Sandy Clark‡, and Matt Blaze University of Pennsylvania Contact: Matt Blaze, 8 November 2005

Source URL: www.mattblaze.org

• Telephony
• Privacy of telecommunications
• Surveillance
• Broadcast engineering
• Dual-tone multi-frequency signaling
• Telephone tapping
• Blue box
• Communications Assistance for Law Enforcement Act
• In-band signaling
• Multi-frequency signaling
• Signaling
• Telephone exchange

2009 Clarke Prize Laureate Bruce E. Logan, Ph.D. Kappe Professor of Environmental Engineering The Pennsylvania State University Dr. Bruce E. Logan’s work on developing new methods to produce clean,

Source URL: www.nwri-usa.org

Center for Global Workers’ Rights (CGWR) School of Labor and Employment Relations The Pennsylvania State University 506 Keller Building, University Park, PATel: (

Source URL: ler.la.psu.edu

Draft: On Concepts of Rationality in Games Steven O. Kimbrough University of Pennsylvania Jon M. Huntsman Hall 3730 Walnut Street

Source URL: opim.wharton.upenn.edu

The 23rd International Conference on Auditory Display (ICADJune 20-23, 2017, Pennsylvania State University FROM PROGRAM MUSIC TO SONIFICATION: REPRESENTATION AND THE EVOLUTION OF MUSIC AND LANGUAGE

Source URL: www.stephenandrewtaylor.net